{ example0 =
    λ(x : Bool) → x
, example1 =
    λ(x : Bool) → x
, example2 =
    λ(x : Bool) → True
}
